A Remark to a Division Algorithm in the Proof of Oka’s First Coherence Theorem
نویسنده
چکیده
The problem is the locally finite generation of a relation sheaf R(τ1, . . . , τq) in OCn . After τj reduced to Weierstrass’ polynomials in zn, it is the key for applying an induction on n to show that elements of R(τ1, . . . , τq) are expressed as a finite linear sum of zn-polynomiallike elements of degree at most p = maxj degzn τj over OCn . In that proof one is used to use a division by τj of the maximum degree, degzn τj = p (Oka ’48, Cartan ’50, L. Hörmander ’66, R. Narasimhan ’66, T. Nishino ’96, ....). Here we shall confirm that the division above works by making use of τk of the minimum degree, minj degzn τj . This proof is naturally compatible with the simple case when some τj is a unit, and gives some improvement in the degree estimate of generators.
منابع مشابه
Frobenius kernel and Wedderburn's little theorem
We give a new proof of the well known Wedderburn's little theorem (1905) that a finite division ring is commutative. We apply the concept of Frobenius kernel in Frobenius representation theorem in finite group theory to build a proof.
متن کاملA Note on the Descent Property Theorem for the Hybrid Conjugate Gradient Algorithm CCOMB Proposed by Andrei
In [1] (Hybrid Conjugate Gradient Algorithm for Unconstrained Optimization J. Optimization. Theory Appl. 141 (2009) 249 - 264), an efficient hybrid conjugate gradient algorithm, the CCOMB algorithm is proposed for solving unconstrained optimization problems. However, the proof of Theorem 2.1 in [1] is incorrect due to an erroneous inequality which used to indicate the descent property for the s...
متن کاملA new proof for the Banach-Zarecki theorem: A light on integrability and continuity
To demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the Banach-Zareckitheorem is presented on the basis of the Radon-Nikodym theoremwhich emphasizes on measure-type properties of the Lebesgueintegral. The Banach-Zarecki theorem says that a real-valuedfunction $F$ is absolutely continuous on a finite closed intervalif and only if it is continuo...
متن کاملMATRIX VALUATION PSEUDO RING (MVPR) AND AN EXTENSION THEOREM OF MATRIX VALUATION
Let R be a ring and V be a matrix valuation on R. It is shown that, there exists a correspondence between matrix valuations on R and some special subsets ?(MVPR) of the set of all square matrices over R, analogous to the correspondence between invariant valuation rings and abelian valuation functions on a division ring. Furthermore, based on Malcolmson’s localization, an alternative proof for t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014